Disjunctive merging: Quota and Gmin merging operators
نویسندگان
چکیده
When aggregating information from a group of agents, accepting the pieces of information shared by all agents is a natural requirement. In this paper, we investigate such a unanimity condition in the setting of propositional merging. We discuss two interpretations of the unanimity condition. We show that the first interpretation is captured by existing postulates for merging. But the second interpretation is not, and this leads to the introduction of a new disjunction postulate (Disj). It turns out that existing operators satisfying (Disj) do not perform well with respect to the standard criteria used to evaluate merging operators: logical properties computational complexity and strategy-proofness. To fill this gap, we introduce two new families of propositional merging operators, quota operators and Gmin operators, which satisfy (Disj), and achieve interesting trade-offs with respect to the logical, computational, and strategy-proofness criteria.
منابع مشابه
Quota and Gmin Merging Operators
In this paper, two families of merging operators are considered: quota operators and Gmin operators. Quota operators rely on a simple idea: any possible world is viewed as a model of the result of the merging when it satisfies “sufficiently many” bases from the given profile (a multi-set of bases). Different interpretations of the “sufficiently many” give rise to specific operators. Each Gmin o...
متن کاملOn the Logic of Merging: Quota and Gmin Operators
In this paper, two families of merging operators are considered: quota operators and Gmin operators. Quota operators rely on a simple idea: any possible world is viewed as a model of the result of the merging when it satisfies “sufficiently many” bases from the given profile (a multi-set of bases). Each interpretation of the “sufficiently many” gives rise to a specific operator. Each Gmin opera...
متن کاملQuota-Based Merging Operators for Stratified Knowledge Bases
Current merging methods for stratified knowledge bases are often based on the commensurability assumption, i.e. all knowledge bases share a common scale. However, this assumption is too strong in practice. In this paper, we propose a family of operators to merge stratified knowledge bases without commensurability assumption. Our merging operators generalize the quota operators, a family of impo...
متن کاملSAT Encodings for Distance-Based Belief Merging Operators
We present SAT encoding schemes for distance-based belief merging operators relying on the (possibly weighted) drastic distance or the Hamming distance between interpretations, and using sum, GMax (leximax) or GMin (leximin) as aggregation function. In order to evaluate these encoding schemes, we generated benchmarks of a time-tabling problem and translated them into belief merging instances. T...
متن کاملA principled analysis of merging operations in possibilistic logic
Possibilistic logic offers a qualitative frame work for representing pieces of information associated with levels of uncertainty or pri ority. The fusion of multiple sources infor mation is discussed in this setting. Differ ent classes of merging operators are consid ered including conjunctive, disjunctive, rein forcement, adaptive and averaging operators. Then we propose to analyse these...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Artif. Intell.
دوره 174 شماره
صفحات -
تاریخ انتشار 2010